On colimits and elementary embeddings
نویسندگان
چکیده
We give a sharper version of a theorem of Rosický, Trnková and Adámek [12], and a new proof of a theorem of Rosický [13], both about colimits in categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large cardinals such as α-strongly compact and C(n)extendible cardinals.
منابع مشابه
Elementary Equivalences and Accessible Functors
We introduce the notion of λ-equivalence and λ-embeddings of objects in suitable categories. This notion specializes to L∞λ-equivalence and L∞λ-elementary embedding for categories of structures in a language of arity less than λ, and interacts well with functors and λ-directed colimits. We recover and extend results of Feferman and Eklof on “local functors” without fixing a language in advance....
متن کاملClassification Theory for Accessible Categories
elementary classes (Shelah 1987) form a special case of the former (Lieberman 2011, Beke and JR 2012) and generalize Lκω-elementary classes. Surprisingly, I do not know any abstract elementary class which does not have an Lκω-axiomatization (as an abstract category). With Makkai, we failed to prove that uncountable sets with injective mappings form such an example. It seemed a long time that th...
متن کاملAbstract elementary classes and accessible categories
ELEMENTARY CLASSES AND ACCESSIBLE CATEGORIES T. BEKE∗ AND J. ROSICKÝ∗∗ Abstract. We investigate properties of accessible categories with directed colimits and their relationship with categories arising from Shelah’s Abstract Elementary Classes. We also investigate ranks of objects in accessible categories, and the effect of accessible functors on ranks. We investigate properties of accessible c...
متن کاملAn absolute characterisation of locally determined omega-colimits
Characterising colimiting ω-cocones of projection pairs in terms of least upper bounds of their embeddings and projections is important to the solution of recursive domain equations. We present a universal characterisation of this local property as ω-cocontinuity of locally continuous functors. We present a straightforward proof using the enriched Yoneda embedding. The proof can be generalised ...
متن کاملCardinal Preserving Elementary Embeddings
Say that an elementary embedding j : N → M is cardinal preserving if CAR = CAR = CAR. We show that if PFA holds then there are no cardinal preserving elementary embeddings j : M → V . We also show that no ultrapower embedding j : V → M induced by a set extender is cardinal preserving, and present some results on the large cardinal strength of the assumption that there is a cardinal preserving j...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 78 شماره
صفحات -
تاریخ انتشار 2013